A Theory of Physical Quantum Computation: The Quantum Computer Condition

In this paper we present a new unified theoretical framework that describes the full dynamics of quantum computation. Our formulation allows any questions pertaining to the physical behavior of a quantum computer to be framed, and in principle, answered. We refer to the central organizing principle developed in this paper, on which our theoretical structure is based, as the Quantum Computer Condition (QCC), a rigorous mathematical statement that connects the irreversible dynamics of the quantum computing machine, with the reversible operations that comprise the quantum computation intended to be carried out by the quantum computing machine. Armed with the QCC, we derive a powerful result that we call the Encoding No-Go Theorem. This theorem gives a precise mathematical statement of the conditions under which fault-tolerant quantum computation becomes impossible in the presence of dissipation and/or decoherence. In connection with this theorem, we explicitly calculate a universal critical damping value for fault-tolerant quantum computation. In addition we show that the recently-discovered approach to quantum error correction known as “operator quantum error-correction” is a special case of our more general formulation. Our approach furnishes what we will refer to as “operator quantum fault-tolerance.” In particular, we show how the QCC allows one to derive error thresholds for fault tolerance in a completely general context. We prove the existence of solutions to a class of time-dependent generalizations of the Lindblad equation. Using the QCC, we also show that the seemingly different circuit, graph(including cluster-) state, and adiabatic paradigms for quantum computing are in fact all manifestations of a single, universal paradigm for all physical quantum computation. Research supported under MITRE Technology Program Grant 51MSR211. E-mail address: {ggilbert, mhamrick, jt}@mitre.org 1 2 GERALD GILBERT, MICHAEL HAMRICK AND F. JAVIER THAYER